1

Skolem, the Skolem ‘Paradox’ and Informal Mathematics

Year:
2006
Language:
english
File:
PDF, 1.92 MB
english, 2006
2

Decoding Gentzen's Notation

Year:
2018
Language:
english
File:
PDF, 390 KB
english, 2018
5

Putnam and Constructibility

Year:
2005
Language:
english
File:
PDF, 1.65 MB
english, 2005
7

Formalization, Syntax and the Standard Model of Arithmetic

Year:
2007
Language:
english
File:
PDF, 147 KB
english, 2007
8

Formalization, Syntax and the Standard Model of Arithmetic

Year:
2007
Language:
english
File:
PDF, 3.57 MB
english, 2007
9

Putnam and Constructibility

Year:
2005
Language:
english
File:
PDF, 234 KB
english, 2005
10

VON NEUMANN’S CONSISTENCY PROOF

Year:
2016
Language:
english
File:
PDF, 236 KB
english, 2016
12

Tarski on Logical Notions

Year:
2003
Language:
english
File:
PDF, 1.62 MB
english, 2003
36

Wave function for two-neutron halo states

Year:
2015
Language:
english
File:
PDF, 1.06 MB
english, 2015